0
EUR
00,00*
Warenkorb EUR 00,00 *
    Erweiterte Suche
    Konto anlegen

    Trefferliste "Formal Methods" - alle Bücher, LPs, CDs und mehr

    Ihre Suche nach "Formal Methods" (Bücher, LPs, CDs und mehr) ergab 68 Treffer.

    Ansicht:

    Carroll Morgan
    Formal Methods, Informally

    Learn to program more effectively, faster, with better results... and enjoy both the learning experience and the benefits it ultimately brings. This undergraduate-level textbook is motivated by Formal Met…

    lieferbar ab 31.1.2026.
    Buch
    Aktueller Preis: EUR 58,73

    Carroll Morgan
    Formal Methods, Informally

    Learn to program more effectively, faster, with better results... and enjoy both the learning experience and the benefits it ultimately brings. This undergraduate-level textbook is motivated by Formal Met…

    lieferbar ab 31.1.2026.
    Buch
    Aktueller Preis: EUR 126,93

    NASA Formal Methods

    This book constitutes the proceedings of the 17th International Symposium on NASA Formal Methods, NFM 2025, held in Hampton Roads, VA, USA in June 2025.The 20 full papers and 4 short papers presented in t…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 142,37

    Integrated Formal Methods

    This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.The 19 full papers pre…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 142,37

    Software Engineering and Formal Methods

    This book constitutes the refereed proceedings of the 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024, held in Aveiro, Portugal, during November 6¿8, 2024.The 23 full p…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 76,66

    Formal Methods: Foundations and Applications

    This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4¿6, 2024.The 8 full pap…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 63,51

    Formal Methods for Industrial Critical Systems

    This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27--28, 2025. The 13 full p…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 63,51

    Concurrent Programming, Open Systems and Formal Methods

    Lecture Notes in Computer Science - Band 16120

    This Festschrift is dedicated to Gul Agha in recognition of his outstanding research and teaching impact. Gul Agha received his undergraduate degree at Caltech in 1977 and his A.M., M.S. and Ph.D. degrees…

    lieferbar in mind. 4 Wochen
    Buch
    Aktueller Preis: EUR 89,80

    Leveraging Applications of Formal Methods, Verification and Validation. Application Areas

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 54,75

    Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 72,27

    Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 81,04

    TOOLympics Challenge 2023

    TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS …

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 54,75

    Konstantin Meinders
    Die Anti Arthrose Formel: Mit bewährten Methoden die Knorpelregeneration aktivieren und Gelenkschmerzen effektiv lindern für mehr Lebensqualität - inkl. Rezepten, Ernährungskompass, Übungen uvm.

    Arthrose-Formel: Mit zahlreichen Strategien, Maßnahmen und Anwendungen der Volkskrankheit Arthrose vorbeugen und zu Vitalität & Wohlbefinden zurückfindenMachen Ihnen die ersten Anzeichen einer Arthros…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 18,90

    Sebastian van Ravenswaay
    Besser sprechen auf Knopfdruck: Mit einfachen Methoden Ihren Wortschatz erweitern, Ausdrucksweise verbessern und zum Rhetorik Profi werden - inkl. Smalltalk Leitfaden & Körpersprache Formel

    Rhetorik: Mit optimaler Kommunikation in jeder Situation glänzen und ganz einfach berufliche und private Ziele erreichenPräsentationen treiben Ihnen den Schweiß auf die Stirn und gehören nicht zu Ihren be…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 15,90

    Coil
    A Thousand Lights In A Darkened Room (Reissue)

    Coil präsentiert »A Thousand Lights In A Darkened Room«. Während der Übergangszeit, in der die Hauptverantwortlichen von Coil (Peter »Sleazy« Christopherson und John Balance) ihre kreative Richtung neu or…

    lieferbar in mind. 4 Wochen
    2 LPs
     
    Vorheriger Preis EUR 34,99, reduziert um 5%
    Aktueller Preis: EUR 32,99

    Warmduscher
    Too Cold To Hold (Translucent Red Vinyl)

    Warmduscher kehren im Herbst 2024 mit ihrem neuen Album »Too Cold To Hold« zurück, auf dem Irvine Welsh, Lianne La Havas, Janet Planet, Jeshi und CouCou Chloe als Gäste zu hören sind. Das Album ist zw…

    Artikel am Lager
    LP
     
    Aktueller Preis: EUR 31,99

    Lena Sachse
    Formale Unterqualifikation in der Pflege

    Berufsbildung, Arbeit und Innovation

    In der Dissertation von Lena Sachse werden berufliche Übergänge und Unterqualifikation aus einer habitus- und milieutheoretischen Perspektive untersucht. Im theoriebasierten Teil wird der Forschungskontex…

    sofort lieferbar
    Buch
    Aktueller Preis: EUR 44,90

    Edward Brooks
    Mental Science and Methods of Mental Culture, Designed for the Use of Normal Schools, Academies, and Private Students Preparing to be Teachers

    Reprint of the original, first published in 1883. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

    lieferbar innerhalb 2-3 Wochen
    Buch
    Aktueller Preis: EUR 89,90
    Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.